Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
771	A grammar view for editing structured documents Mark Sifer School of Computer Systems Engineering University of New South Wales Sydney, New South Wales, Australia Add to Reading List Source URL: crpit.com Language: English - Date: 2012-01-19 01:26:59 Structure editor XML editor XML HTML Standard Generalized Markup Language Syntax Formal grammar Computing Markup languages Technical communication
772	Operating System Verification for Real Use Gernot Heiser School of Computer Science and Engineering, University of New South Wales, and Embedded, Real-Time and Operating Systems Program, National ICT Australia Sydney, Au Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-07-22 18:53:53 Gernot Heiser L4 microkernel family Microkernel Formal verification Kernel Embedded system Ring Linux kernel Operating system Computer architecture System software Software
773	Promoting and Measuring Family and Community Engagement for Healthy Early Childhood Development Family and Community Knowledge Systems Family and community knowledge systems are the informal and formal ways in which chil Add to Reading List Source URL: www.wilder.org Language: English - Date: 2014-05-05 11:34:47 Maternal and Child Health Bureau WestEd Education Distance education E-learning
774	1 A Data Mining & Knowledge Discovery Process Model Óscar Marbán1, Gonzalo Mariscal2 and Javier Segovia1 1 Add to Reading List Source URL: cdn.intechopen.com Language: English - Date: 2014-03-14 18:59:53 Science Systems engineering Formal methods Software engineering Cross Industry Standard Process for Data Mining Software project management Data mining Project management Software development methodology Software development Software development process Software
775	NRL Release Number[removed]Applying a Formal Requirements Method to Three NASA Systems: Lessons Learned Constance L. Heitmeyer and Ralph D. Jeffords Naval Research Laboratory (Code 5546) Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2013-04-25 12:55:41 Software requirements Systems engineering Formal methods Requirement Software Requirements Specification Specification Software design Life-critical system Verification Software development Technology Software
776	Bioinformatics David Rilett Assistant Professor, Wentworth Institute of Technology Source: http://www.maximumpc.com Add to Reading List Source URL: biowit.cs.wit.edu Language: English - Date: 2009-10-27 17:52:28 Software Bioinformatics Computational biology Bioengineering Mathematical and theoretical biology Bioconductor Data mining Genomics Bioinformatics workflow management systems Science Application software Formal sciences
777	DALLAS COUNTY COMMISSIONERS COURT BRIEFING AGENDA ITEMS FOR THE JANUARY 6th BRIEFING, BOTH FORMAL AND BRIEFING SESSION, MUST BE SUBMITTED NO LATER THAN 4:00 P.M. ON WEDNESDAY, DECEMBER 24,2003 Add to Reading List Source URL: dallascounty.org Language: English - Date: 2008-07-15 16:51:38 Financial services Dow Jones Industrial Average Economy of the United States Foreign exchange companies Electronic commerce Bank of America American Express Debit card Dallas Payment systems Geography of Texas Credit cards
778	2013 Annual Conference on Advances in Cognitive Systems: Workshop on Metacognition in Situated Agents Towards A Unified Framework for Learning and Processing Perceptual, Relational, and Meta Knowledge Marc Pickett Add to Reading List Source URL: www.marcpickett.com Language: English - Date: 2013-12-16 14:54:32 Knowledge engineering Science Knowledge Semantic Web Technical communication Frame language Metacognition Formal ontology Upper ontology Ontology Information Knowledge representation
779	Assurance Based Development of Critical Systems Add to Reading List Source URL: www.ece.cmu.edu Language: English - Date: 2012-10-03 11:21:29 Dependability Safety Safety engineering Software engineering Risk Computing Management Security Formal methods Quality
780	Microsoft Word - ibm-8133.doc Add to Reading List Source URL: www.ibm.com Language: English - Date: 2011-04-05 09:53:38 Safety Software development Software engineering Evaluation IEC 61508 Software development process ISO 26262 Validation Systems engineering process Science Quality Formal methods

UPDATE